<?php
	
	echo "ok";
?>